Genetic programs regulating HSC specification, maintenance and expansion
نویسندگان
چکیده
منابع مشابه
HSC Niche Biology and HSC Expansion Ex Vivo.
Hematopoietic stem cell (HSC) transplantation can restore a new functional hematopoietic system in recipients in cases where the system of the recipient is not functional or for example is leukemic. However, the number of available donor HSCs is often too low for successful transplantation. Expansion of HSCs and thus HSC self-renewal ex vivo would greatly improve transplantation therapy in the ...
متن کاملAngiopoietin receptor Tie2 is required for vein specification and maintenance via regulating COUP-TFII
Mechanisms underlying the vein development remain largely unknown. Tie2 signaling mediates endothelial cell (EC) survival and vascular maturation and its activating mutations are linked to venous malformations. Here we show that vein formation are disrupted in mouse skin and mesentery when Tie2 signals are diminished by targeted deletion of Tek either ubiquitously or specifically in embryonic E...
متن کاملAnnotated Revision Specification Programs
Marek and Truszczyński have introduced an interesting mechanism for specifying revisions of knowledge bases by means of logic programs. Here we extend their idea to allow for confidence factors, multiple experts, and so on. The appropriate programming mechanism turns out to be annotated logic programs and the appropriate semantic tool, bilattices. This may be the first example of a setting in w...
متن کاملCertifiable Specification and Verification of C Programs
A novel approach to the specification and verification of C programs through an annotation language that is a mixture between JML and the language of Isabelle/HOL is proposed. This yields three benefits: specifications are concise and close to the underlying mathematical model; existing Isabelle theories can be reused; and the leap of faith from specification language to encoding in a logic is ...
متن کاملVerification and Specification of Concurrent Programs
I explore the history of, and lessons learned from, eighteen years of assertional methods for specifying and verifying concurrent programs. I then propose a Utopian future in which mathematics prevails.
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Oncogene
سال: 2004
ISSN: 0950-9232,1476-5594
DOI: 10.1038/sj.onc.1207940